When You Fully Automate Mathematics...